University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
471	Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems Michael Lees, Brian Logan, School of Computer Science and Information Technology University of Nottingham, UK {mhl, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-12-28 12:11:00 Abstraction Agent-based model Computer simulation Simulation Multi-agent system Algorithm Flocking Discrete event simulation Scientific modeling Science Computing
472	User evaluation of virtual reporting agents Neil Madden Brian Logan University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-04-15 08:11:35 Software Massively multiplayer online role-playing games Artificial intelligence Role-playing video games Windows games Agent-based model Embodied agent Neverwinter Persistent world Games Neverwinter Nights Digital media
473	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
474	TIME WINDOWS IN MULTI-AGENT DISTRIBUTED SIMULATION Michael Lees1 , Brian Logan1 , Georgios Theodoropoulos2 1 School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK {mhl,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-06-15 12:12:14 Simulation Computing Modeling and simulation Agent-based model Complex systems theory Discrete event simulation Logic simulation Military simulation Flocking Scientific modeling Science Electronic engineering
475	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
476	It’s About Time Neil Madden and Brian Logan University of Nottingham School of Computer Science and Information Technology Jubilee Campus, Triumph Road, Nottingham, NG8 1BB. {nem,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-08-12 15:04:38 Mind Cognitive psychology Multiple drafts model Physicalism Benjamin Libet Cartesian theater Circular buffer Tap Consciousness Explained Philosophy of mind Cognitive science Computer memory
477	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
478	Atomic Intentions in Jason+ Daniel Kiss, Neil Madden, and Brian Logan School of Computer Science University of Nottingham, UK. [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-02-01 12:03:32 Software engineering AgentSpeak Prolog Logic programming Belief–desire–intention model Atom 2APL Belief–desire–intention software model Computing Multi-agent systems Artificial intelligence
479	Verifying resource requirements for distributed rule-based systems Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-29 15:01:19 Computer hardware Aquatic communities in the British National Vegetation Classification system MOS Technology Agnus Motorways of Switzerland Aggregate Rete algorithm
480	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-08 13:15:13 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing

UPDATE